Answer Set Prolog